Reimplement the check of function arguments
New fucked up example