compile-time verification