string(greet)[i64:i]
