x86_64: ast_serialize.abi3.so
