porting to 64bit