Does pypy-1.7 support translating to the CLI backend?
[translation:ERROR] File "/pypy/rpython/ootypesystem/ootype.py", line 1297, in _check_overloadings
[translation:ERROR] raise TypeError, 'Bad overloading'
[translation:ERROR] TypeError: Bad overloading