[off by one] a fencepost error and the boundary-value analysis