#|- Do.while, -c                                 #|- Do.while, -c
Chars ->                                         Lines ->
Arg File_name : String                           Arg File_name : String

...                                              ...

Return Rc                                        Return Rc
