Symbol: xa_mk_internal