void simplex_lattice_point_next ( int n, int t, bool *more, int x[] );
void timestamp ( );