static box Main {
  main() {
    print("enter-main")
    local S
    using "apps/std/string.hako" as S
    print("after-include")
    local x
    x = S.string_length("abc")
    print("after-call: x=" + x.toString())
    return 0
  }
}