C-- specfication