Given a string str = "üabc123", and size = 5. I want to get the first 5 bytes("üabc"), and the rest of the string("123").
Currently I'm doing:
str = "üabc123"
size = 5
a = binary_part(str, 0, size) # "üabc"
b = String.trim_leading(str, a) # "123"
Seems like there would be a cleaner way to do this. Is there another way?