Fix user_functions argument bug in CCodePrinter