Now resolves nicely, but generates C code that segfaults (tries to get the class of an Int