Tink - Strict Machine