Make RPython happy
Make RPython happy