Simple printf v1 in asm_test.