Evaluated proc execution_list {} {. papersk1n}