dotdot.h #1