Use an Eclipse builder to generate sources in
org.whitehole.assembly.ia32_x64.