a few more small instructions