Adding a minimal example of the RPython compile error we're seeing.