implement cannonical push op_1 => op_16 + tests