Mac64 port of HOT