استورد أساسي::سي.
غير_آمن خارجي fill(target: سي::مخزن, byte: ص32, count: ط64) -> مؤشر_سي
    = سي("libc.so.6", "memset", إخراج(target, count)).
دالة ابدأ_الرئيسية() -> ص64 {
    متغير source: قائمة<ط8> = [0, 255, 65].
    دع created = سي::أنشئ_مخزن(source).
    إذا ليس created::نجاح { اطبع(created::الخطأ::الرمز). أرجع 1. }
    دع owned = created::قيمة.
    دع alias = owned.
    source[0] = 7.
    دع copied = سي::انسخ_بايتات(owned, ط64(3)).
    إذا ليس copied::نجاح { أرجع 2. }
    غير_آمن fill(owned, ص32(32), ط64(3)).
    دع changed = سي::انسخ_بايتات(alias, ط64(3))::قيمة.
    إذا copied::قيمة[0] ليس يطابق 0 أو copied::قيمة[1] ليس يطابق 255 أو copied::قيمة[2] ليس يطابق 65 { أرجع 3. }
    إذا changed[0] ليس يطابق 32 أو changed[1] ليس يطابق 32 أو changed[2] ليس يطابق 32 { أرجع 4. }
    دع oversized = سي::انسخ_بايتات(owned, ط64(4)).
    إذا oversized::نجاح أو oversized::الخطأ::الرمز ليس يطابق "foreign.invalid_argument" { أرجع 5. }
    إذا ليس سي::أغلق(owned)::نجاح { أرجع 6. }
    دع closed = سي::سعة(alias).
    إذا closed::نجاح أو closed::الخطأ::الرمز ليس يطابق "foreign.closed" { أرجع 7. }
    إذا ليس سي::أغلق(alias)::نجاح { أرجع 8. }
    أرجع 0.
}