typedef Res = hxd.Res;