move default for STACK_PUSH_CODE to defaults.h