py-automat is a stub port
