<ais523> ` printf \'#include <stdio.h>\\nint main(void) { float C = 4.0; printf("%%f", C/C++); }\' | gcc -fno-diagnostics-color -Wall -Wextra -x c /dev/stdin

echo "$1" | as -o /tmp/out.o - && objdump -d /tmp/out.o | grep -P '^ *[0-9a-f]+:' | sed 's/^[^\t]*\t//; s/ *\t/: /g'