ARGPUSHSIZE32
#define ARGPUSHSIZE ARGPUSHSIZE32
#define MINFRAME32 (WINDOWSIZE32 + ARGPUSHSIZE32 + 4) /* min frame */