<-->
.LC0:   
        .string    "%d %d\n"
main:   
        [ ... ]
        pushl $9
        pushl $7
        pushl $.LC0
        call printf
        [ ... ]