Title: An automated Ada physical source line counter