Take your pick:

string[0...3]
string[/.../]