somewhat redundant, and also causes gas to complain when we include the profiling code (which uses an i586 instruction).