(module random (export random_i32 random_i32_non_negative))

(fn random_i32 () -> i32
  (std.random.i32))

(fn random_i32_non_negative () -> bool
  (>= (random_i32) 0))

(test "local random i32 non-negative facade"
  (random_i32_non_negative))
