Unofficial Safety-Critical Software: how dangerous is this program anyway?