PanLinx: compile-time check