RML_END_LABEL RML_BEGIN_LABEL(BackendDAEEXT__setNumber) { int i = RML_UNTAGFIXNUM(rmlA0); int val = RML_UNTAGFIXNUM(rmlA1); BackendDAEEXTImpl__setNumber(i,val); RML_TAILCALLK(rmlSC); }
extern void BackendDAEEXT_setNumber(int _inInteger1, int _inInteger2) { BackendDAEEXTImpl__setNumber(_inInteger1, _inInteger2); }