Added the x86_64_ prefix to val_t.