<attribute name=W64 cst_slot=64 type=i32 word 2</attribute>
