Definitions of a few more instructions.