Add header "fullyoptimized"