add namespace in domino.h