maybe work in x86_64....