rydia 6793c0e942 hello, world 2 éve
..
badzero.cocci 6793c0e942 hello, world 2 éve
deref_null.cocci 6793c0e942 hello, world 2 éve
eno.cocci 6793c0e942 hello, world 2 éve
kmerr.cocci 6793c0e942 hello, world 2 éve