program main
  fn label() -> string
    string "slovo"
  fn echo(value: string) -> string
    var value
  fn local_label() -> string
    local let value: string
      call label
    var value
  fn label_len() -> i32
    call string_len
      call local_label
  fn main() -> i32
    call print_string
      call local_label
    call label_len
  test "string literal equality"
    binary =
      string "slovo"
      string "slovo"
  test "string parameter equality"
    binary =
      call echo
        string "runtime"
      string "runtime"
  test "string call return equality"
    binary =
      call local_label
      string "slovo"
  test "string byte length"
    binary =
      call label_len
      int 5