Example program tested and debugged