{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"bx.bitcast(value,"}]}
            bx.bitcast(value, bx.type_f16())
            let value = bx.trunc(value, bx.type_i16());
        }