#include "t.h"  /* same stuff, no need to duplicate */