tcc (TinyC) port