Assume a32/o32 after including 32bit.inc