Previously, get_c_name("a") on the type "int ()" would return "int ".
This caused "incompatible type" errors when verifying structs containing
pointers to arrays.
A partial workaround for this bug was originally made in vengine_*; this has
Oups! Thank you very much.