gigasecond: test prog rewrite