There is no system which prevent us from calling the functions with invalid arguments. I think we need to implement the system.