do_exec returns now a child’s pid. Doesn’t work correctly at the moment. Work in progress…