RML_END_LABEL RML_BEGIN_LABEL(BackendDAEEXT__vMark) { int i = RML_UNTAGFIXNUM(rmlA0); BackendDAEEXTImpl__vMark(i); RML_TAILCALLK(rmlSC); }
extern void BackendDAEEXT_vMark(int _inInteger) { BackendDAEEXTImpl__vMark(_inInteger); }