static box Main {
  main() {
    local S
    using "apps/std/string.hako" as S
    local r
    r = S.string_index_of("banana", "na")
    print("r=" + r.toString())
    return 0
  }
}