Compile-time bugfixing