correctly count the number of normal vars even when there are i64s before a varargs
legalize i64 return types properly