# Compile-time evaluation
TODO