only emit PUSH4, give the optimizer more room to work with