echo "x86_64"