ivory-hw: to be used with ghci.