Finish 64bit/8k porting. Solve #1.