FileOutputPort {FileOutputPort.Close}:int {FileOutputPort.Flush}:void {FileOutputPort.init fname:text bufsize:int=512} {FileOutputPort.InitializeOut handle:int bufsize:int} {FileOutputPort.WriteCh c:char}:void {FileOutputPort.WriteSlice t:text start:int len:int}:void {FileOutputPort.WriteText t:text}:void