{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"bx.inttoptr(ptr_as_int,"}]}
    bx.inttoptr(ptr_as_int, ptr_ty)
    ptr_as_int = round_up_to_alignment(bx, ptr_as_int, align);
}