storm-lib 9.00a (new formula)