Symbolic_Optimal_Assembly_Program loading ...