!752

p {
  print(get(PipedInputStream.class, "PIPE_SIZE"));
}