program main
  fn label() -> string
    string "standard" : string
  fn echo(value: string) -> string
    var value : string
  fn label_len() -> i32
    call std.string.len : i32
      call echo : string
        string "standard" : string
  fn main() -> i32
    call std.io.print_string : unit
      call echo : string
        string "standard" : string
    call std.io.print_bool : unit
      binary = : bool
        call echo : string
          string "standard" : string
        string "standard" : string
    call std.io.print_i32 : unit
      call std.string.len : i32
        string "standard" : string
    int 0 : i32
  test "std string equality"
    binary = : bool
      call echo : string
        string "standard" : string
      string "standard" : string
  test "std string byte length"
    binary = : bool
      call label_len : i32
      int 8 : i32
