/*BadStart announce that things are so bad the calculation cannot even start */ void BadStart(void);