fix derpy test fail in instr_push