{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"bx.bitcast(value,"}]}
            bx.bitcast(value, bx.type_f32())
            let value = bx.or(value, bx.const_u32(0xFFFF_0000));
        }