added '|' to hamt{} macro