define JSC_TAINTED_64 (intermediate step for merging 64/32 bit code)