Make rpython happy.