C♭ (C Flat) is a correctness-oriented dialect/subset of the C♯ programming language