refactor; generates functional execution package