JOJ3/examples/success/cases/2.in