SOFT-ICE MACHINES