دالة ابدأ_الرئيسية() -> ص64 {
    دع الحد: ط64 = 18446744073709551615.
    دع مباشر: ع32 = 1.0000000596046448.
    دع بتات: ط8 = 0سحح.
    دع محول: ط8 = ط8(255).
    إذا (نسق_ط64(الحد) != "18446744073709551615") { أرجع 1. }
    إذا (نسق_ع32(مباشر) != "1.00000012") { أرجع 2. }
    إذا ((بتات & 0س0ح) != 15 أو (بتات >> 4) != 15 أو محول != 255) { أرجع 3. }
    متغير بايتات: قائمة[ط8] = [0, 255].
    متغير نسخة: قائمة[ط8] = بايتات.
    نسخة[0] = بتات << 0.
    إذا (بايتات[0] != 0 أو نسخة[0] != 255) { أرجع 4. }
    اطبع("numeric types\n").
    أرجع 0.
}