You should be able to translate to KiX with no problems.

0x0040 is just another way of writing a hex number, so in KiXtart it will be &40.