add examples/dl-resolve-{x86,x64}.py