Garuda Code

يعادل عامل التشغيل "store" للسجلات في z3