// copy stdin to stdout byte-by-byte using getchar/putchar
//
// should be fast due to stdio buffering
//
#include <stdio.h>
int main( void)
{
  int c;
  while( (c=getchar()) >= 0) putchar(c);
}