program main
  fn monotonic_self_equal() -> bool
    local let now : unit
      call std.time.monotonic_ms : i32
    binary = : bool
      var now : i32
      var now : i32
  fn sleep_zero_then_self_equal() -> bool
    call std.time.sleep_ms : unit
      int 0 : i32
    call monotonic_self_equal : bool
  fn main() -> i32
    call std.time.sleep_ms : unit
      int 0 : i32
    if : i32
      call monotonic_self_equal : bool
      int 0 : i32
      int 1 : i32
  test "monotonic value is self equal"
    call monotonic_self_equal : bool
  test "sleep zero returns"
    call sleep_zero_then_self_equal : bool
