A friend wondered how they can make their improvements to SAXPY and claim they're correct w/o using the restrict keyword.