add HAMLET test