taglinefilesource code
numnote963fs/binfmt_elf.cint numnote = 4;
numnote1128fs/binfmt_elf.cnumnote--;
numnote1143fs/binfmt_elf.cfor(i = 0; i < numnote; i++)
numnote1189fs/binfmt_elf.cfor(i = 0; i < numnote; i++)