a few more instructions