Make_TimeStamp
Make_TimeStamp(pgn, gn);
Make_TimeStamp(pgn, gn);
Make_TimeStamp(pgn, gn);
Make_TimeStamp(parent, child);
extern void Make_TimeStamp(GNode *, GNode *);
(void)Make_TimeStamp(pgn, cgn);
(void)Make_TimeStamp(pgn, cgn);