An analysis of errors and their causes in system programs | Synapse