Micro optimization avoiding PUSH