دالة ابدأ_الرئيسية() -> ص64 {
    متغير xs: قائمة[ص64] = [1, 2].
    أضف(xs, 3).
    إذا (طول(xs) != 3) { أرجع 1. }
    متغير نسخة: قائمة[ص64] = xs.
    نسخة[0] = 9.
    إذا (xs[0] != 1) { أرجع 2. }
    إذا (نسخة[0] != 9) { أرجع 3. }
    أضف(xs, xs[0]).
    إذا (طول(xs) != 4) { أرجع 4. }
    إذا (xs[3] != 1) { أرجع 5. }
    متغير nested: قائمة[قائمة[ص64]] = [[1], [2]].
    دع nested_copy: قائمة[قائمة[ص64]] = nested.
    nested[0][0] = 7.
    إذا (nested_copy[0][0] != 1) { أرجع 6. }
    إذا (nested[0][0] != 7) { أرجع 7. }
    متغير grown: قائمة[ص64] = [].
    متغير k = 0.
    طالما (k < 32) { أضف(grown, k * 2). k = k + 1. }
    إذا (طول(grown) != 32) { أرجع 8. }
    إذا (grown[31] != 62) { أرجع 9. }
    grown[0] = grown[31].
    إذا (grown[0] != 62) { أرجع 10. }
    متغير بايتات: قائمة[ط8] = [0, 255].
    متغير نسخة_بايتات: قائمة[ط8] = بايتات.
    نسخة_بايتات[0] = 255.
    إذا (بايتات[0] != 0 أو نسخة_بايتات[0] != 255) { أرجع 11. }
    متغير كسور: قائمة[ع64] = [0.5].
    كسور[0] = 1.5.
    إذا (كسور[0] != 1.5) { أرجع 12. }
    اطبع("32").
    أرجع 0.
}