deb0 - HSmachine