Add psudo-instructions