export @check_argdims