rydia 6793c0e942 hello, world 2 éve
..
doublebitand.cocci 6793c0e942 hello, world 2 éve
doubletest.cocci 6793c0e942 hello, world 2 éve
odd_ptr_err.cocci 6793c0e942 hello, world 2 éve
unsigned_lesser_than_zero.cocci 6793c0e942 hello, world 2 éve