Minimal bounds-checking