CopatternStreamSized.out 45 B

12345
  1. EXECUTED_PROGRAM
  2. ret > ExitSuccess
  3. out > 55