Tag: compile-time bounds checking