showProg and toFile doesn't print empty kernel code