RML_END_LABEL RML_BEGIN_LABEL(BackendDAEEXT__markDifferentiated) { int i = RML_UNTAGFIXNUM(rmlA0); BackendDAEEXTImpl__markDifferentiated(i); RML_TAILCALLK(rmlSC); }
extern void BackendDAEEXT_markDifferentiated(int _inInteger) { BackendDAEEXTImpl__markDifferentiated(_inInteger); }