Use signed integer for 'len' argument to string_getline()