...used across all SDL models
(WIP because C and Ada use different options so this still has to be
refactored)