rydia 6793c0e942 hello, world %!s(int64=2) %!d(string=hai) anos
..
aarch32.c 6793c0e942 hello, world %!s(int64=2) %!d(string=hai) anos
timer-sr.c 6793c0e942 hello, world %!s(int64=2) %!d(string=hai) anos
vgic-v3-sr.c 6793c0e942 hello, world %!s(int64=2) %!d(string=hai) anos