assert isinstance$($pos$,$ int$),$ "Position must be an integer"

assert pos $>=0,$ "Position cannot be negative"