RML_END_LABEL RML_BEGIN_LABEL(BackendDAEEXT__getNumber) { int i = RML_UNTAGFIXNUM(rmlA0); rmlA0 = mk_icon(BackendDAEEXTImpl__getNumber(i)); RML_TAILCALLK(rmlSC); }
extern int BackendDAEEXT_getNumber(int _inInteger) { return BackendDAEEXTImpl__getNumber(_inInteger); }