Can it use TinyC? TinyC compile time is about 9 times faster than GCC, so warm up time can possibly be shorter, although the JIT performance gain also be less because TinyC performs only basic optimizations.