The return type should be `Cint`. Also, we could just return `esc(blk)` and avoid the bounds checking stuff entirely in debug builds.