Lines Matching refs:stdin
2151 (** [stdin ()] is the memory buffer containing the contents of standard input.