غير_آمن خارجي absolute(قيمة: ص32) -> ص32 = سي("libc.so.6", "abs").
غير_آمن خارجي byte_length(text: نص) -> ط64 = سي("libc.so.6", "strlen", نص_سي(text)).
دالة ابدأ_الرئيسية() -> ص64 {
    إذا غير_آمن absolute(ص32(-7)) ليس يطابق ص32(7) { أرجع 1. }
    إذا غير_آمن byte_length("مرحبا") ليس يطابق ط64(10) { أرجع 2. }
    أرجع 0.
}