polytype-machine-example-01