program main
  fn maybe_value() -> (option i32)
    some : (option i32)
      int 42 : i32
  fn maybe_empty() -> (option i32)
    none : (option i32)
  fn maybe_wide_value() -> (option i64)
    some : (option i64)
      i64 2147483648 : i64
  fn maybe_wide_empty() -> (option i64)
    none : (option i64)
  fn maybe_float_value() -> (option f64)
    some : (option f64)
      float 42.5 : f64
  fn maybe_float_empty() -> (option f64)
    none : (option f64)
  fn maybe_flag_value() -> (option bool)
    some : (option bool)
      bool true : bool
  fn maybe_flag_empty() -> (option bool)
    none : (option bool)
  fn maybe_string_value() -> (option string)
    some : (option string)
      string "slovo" : string
  fn maybe_string_empty() -> (option string)
    none : (option string)
  fn result_ok() -> (result i32 i32)
    ok : (result i32 i32)
      int 42 : i32
  fn result_err() -> (result i32 i32)
    err : (result i32 i32)
      int 7 : i32
  fn main() -> i32
    int 0 : i32
