دالة greet(name: نص) -> نتيجة<نص> {
    إذا (name يطابق "") {
        أرجع إخفاق("empty-name", "name is empty").
    }
    أرجع نجاح("Hello, " + name + "!").
}
دالة ابدأ_الرئيسية() -> ص64 {
    دع greeting: نتيجة<نص> = greet("سلمى").
    إذا (greeting::نجاح) {
        اطبع(greeting::قيمة + "\n").
    } وإلا {
        اطبع(greeting::الخطأ::الرمز + "\n").
    }
    دع empty: نتيجة<نص> = greet("").
    إذا (empty::نجاح) {
        اطبع(empty::قيمة + "\n").
    } وإلا {
        اطبع(empty::الخطأ::الرمز + "\n").
    }
    أرجع 0.
}