The HsC language