An optimalization for marking executable lines