// d.h: empty