i wish academics understood the point of rust before bolting on their acsl ripoff on top of rust attribs
2) Extracts characters from input and appends them to str until one of the following occurs (checked in the order listed)
a) end-of-file condition on input, in which case, getline sets eofbit.
nvm (technically even assuming utf8 it can contain nul but correct edge case handling is a myth in c/++land)