include instructions in postfix()