FileInputPort {FileInputPort.Close}:int {FileInputPort.ContentLength}:int {FileInputPort.ContentType}:symbol {FileInputPort.init fname:text bufsize:int=512} {FileInputPort.InitializeIn handle:int bufsize:int} {FileInputPort.PeekCh}:int {FileInputPort.ReadCh}:int {FileInputPort.ReadText t:text n:int}:int {FileInputPort.Refill}:void