automatic static optimization