ensure correct packing in ISXDK.h