The system which checks whether the parameter is able to copy to the unsafe space or not

[caphosra]

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