If one has a different type or trait for unusual and normal range indices, then the signature for the procedure that assumes indexing from 1 can be written to d

If one has a different type or trait for unusual and normal range indices, then the signature for the procedure that assumes indexing from 1 can be written to disallow other starting indices.