1(executable
2 (public_name rosetta_collatz)
3 (name main)
4 (libraries rosetta_collatz))