Something

use encoding "utf-8"
# below should be parsed as utf-8 encoding
-- comment can start with "--" instead of "#" (really?)

# example of DBC
class value extends number has
    function this(value: integer = 0, min: integer = 0, max: integer = 42) do
        @min, @max, @value = min, max, value
    end

    function operator <=> (lhs: number): integer do
        @value <=> lhs
    end

    function invariant do
        @min <= @value <= @max
    end

    function operator += (lhs: value)
        require assert @value != 13 and lhs != 13
        ensure assert @value != 13
    do
        @value += integer.from(lhs)
        this
    end

    function operator + (lhs) do
        value = .clone
        value += lhs
        return value
    end
end

# and so on...