!747

m {
  static Class prog;
  
  p {
    prog = hotwire("#1000887");
    
    setClock(15, 34);
    ask("what time is it?");
    expect("It is 15:34.");
  }
  
  static void setClock(int h, int m) ctex {
    long now; // (h*60+m)*60*1000L
    Date date = new java.text.SimpleDateFormat("HH:mm").parse("15:34");
    now = date.getTime();
    print("date: " + date + ", now: " + now);
    setOpt(prog, "now_virtualTime", now);
  }
  
  static void ask(S q) {
    set(prog, "question", q);
    callMain(prog);
  }
  
  static void expect(S a) {
    S answer = cast get(prog, "answer");
    if (a.equals(answer))
      print("OK: " + answer);
    else {
      print("Wrong: " + answer);
      print("Expected: " + a);
    }
  }
}