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