[3.2.4] UNOFFICIAL repo of SOFTSUSy written by Allanach et al.