Create a library for function argument and return value checking.