c: WCET optimizations.