CheerpFrontend: vtables type is now i32(...)* []