[rurban]

No, that's a company firmware we bought with sourcecode to be able to extend it.

I'm pretty sure it's the stdlib, IO probably, which is only needed for debugging anyway.