Make RPython happy