Some codes that I used testing the Linux kernel