Added support for 32-bit args in INVOKEW, 8/32-bit hex printf format