add a few inbounds annotations to some simple functions