public static Value JavaTime(){
  int t=(int)System.currentTimeMillis();
  return IntValue.gen(t & 0x7FFFFFFF);
}

public static Value JavaTime ( ) { int t = ( int ) System . currentTimeMillis ( ) ; return IntValue . gen ( t & 0x7FFFFFFF ) ; }
the current wall clock time . note that it is not declared as final . so , tlc will not treat it as a constant .
