make RPython happy :)