RML_END_LABEL RML_BEGIN_LABEL(BackendDAEEXT__initNumber) { int nvars = RML_UNTAGFIXNUM(rmlA0); BackendDAEEXTImpl__initNumber(nvars); RML_TAILCALLK(rmlSC); }
extern void BackendDAEEXT_initNumber(int _inInteger) { BackendDAEEXTImpl__initNumber(_inInteger); }