>    File "/build/pypy3.10-v7.3.15-src/pypy/module/__pypy__/moduledef.py", line 18, in <module>
>     class TimeModule(MixedModule):
>    File "/build/pypy3.10-v7.3.15-src/pypy/module/__pypy__/moduledef.py", line 21, in TimeModule
>     if rtime.HAS_CLOCK_GETTIME:
> [translation:ERROR] AttributeError: 'module' object has no attribute 'HAS_CLOCK_GETTIME'