Replace 64bit funcions with operators in driver.c