RML_END_LABEL RML_BEGIN_LABEL(BackendDAEEXT__getVMark) { int i = RML_UNTAGFIXNUM(rmlA0); rmlA0 = mk_bcon(BackendDAEEXTImpl__getVMark(i)); RML_TAILCALLK(rmlSC); }
extern int BackendDAEEXT_getVMark(int _inInteger) { return BackendDAEEXTImpl__getVMark(_inInteger); }