at compile time