void main() {
    string x = "abcde";

    stdout.printf("%d\n", x.index_of("bcd")); //prints 1
    stdout.printf("%d\n", x.last_index_of("bcd")); //also prints 1
}