tiny modifications to handle 64 bit single instructions