also added the nsc14 stuff as it involved some heavy z3 stuff