RML_END_LABEL RML_BEGIN_LABEL(BackendDAEEXT__eMark) { int i = RML_UNTAGFIXNUM(rmlA0); BackendDAEEXTImpl__eMark(i); RML_TAILCALLK(rmlSC); }
extern void BackendDAEEXT_eMark(int _inInteger) { BackendDAEEXTImpl__eMark(_inInteger); }