py-hatch-mypyc is a stub port
