Modules

Wrap the subroutine to validate the argument type and return type.