* configure.in: pic16 libraries build 2nd try - enable running
[fw/sdcc] / device / lib / libint.lib
1 _divsint
2 _divuint
3 _modsint
4 _moduint
5 _mulint