public static ValueRef define_allocObject(ModuleRef mod) { ValueRef ret = new ValueRef(RuntimePINVOKE.define_allocObject(mod.Value)); return(ret); }