Migrate to post-RPython-split API