# adult.pl:20: [0 .. 10, 16]
# child.pl:16: [0 .. 10, 16, 72]
# adult.pl:20: [0 .. 10, 16, 72, 52]
# child.pl:16: [0 .. 10, 16, 72, 52, 17]
# adult.pl:20: [0 .. 10, 16, 72, 52, 17, 66]
# child.pl:16: [0 .. 10, 16, 72, 52, 17, 66, 96]
# adult.pl:20: [0 .. 10, 16, 72, 52, 17, 66, 96, 92]
# child.pl:16: [0 .. 10, 16, 72, 52, 17, 66, 96, 92, 88]
# adult.pl:20: [0 .. 10, 16, 72, 52, 17, 66, 96, 92, 88, 56]
Leaving child.pl..
Leaving adult.pl..