got 64bit single inst to work