Correct argument count to ccode