argcheck: a module to check argument ranges