begin section on analysing Linux source