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);
}