Low: action_launch_child is effectively noreturn
Explicit commented assert will ease the code comprehension.