CRAY stuff added