function call with argument type checking works. good  / core005.cc pass