An extensible specification of C