import sys
import os
from typing import List
import math
from automates.program_analysis.for2py.format import *
from automates.program_analysis.for2py.arrays import *
from automates.program_analysis.for2py.static_save import *
from automates.program_analysis.for2py.strings import *
from automates.program_analysis.for2py import intrinsics
from dataclasses import dataclass
from automates.program_analysis.for2py.types_ext import Float32
import automates.program_analysis.for2py.math_ext as math
from numbers import Real
from random import random


def main():
    format_20: List[str] = [None]
    format_20 = ['a', 'i2', 'i4']
    format_20_obj = Format(format_20)
    
    format_30: List[str] = [None]
    format_30 = ['a']
    format_30_obj = Format(format_30)
    
    inc: List[int] = [None]
    y: List[int] = [None]
    for inc[0] in range(1, 10+1):
        # select-case
        if (inc[0] >= "-inf" and inc[0] <= 3):
            y[0] = int((inc[0] * 2))
            write_list_stream = ["the variables i and y have values: ", inc[0], y[0]]
            write_line = format_20_obj.write_line(write_list_stream)
            sys.stdout.write(write_line)
        else:
            if (inc[0] >= 9 and inc[0] <= "inf"):
                y[0] = int((inc[0] * 3))
                write_list_stream = ["the variables i and y have values: ", inc[0], y[0]]
                write_line = format_20_obj.write_line(write_list_stream)
                sys.stdout.write(write_line)
            else:
                if (inc[0] == 8):
                    y[0] = int((inc[0] * 4))
                    write_list_stream = ["the variables i and y have values: ", inc[0], y[0]]
                    write_line = format_20_obj.write_line(write_list_stream)
                    sys.stdout.write(write_line)
                else:
                    if (inc[0] >= 4 and inc[0] <= 7):
                        y[0] = int((inc[0] * 5))
                        write_list_stream = ["the variables i and y have values: ", inc[0], y[0]]
                        write_line = format_20_obj.write_line(write_list_stream)
                        sys.stdout.write(write_line)
                    else:
                        write_list_stream = ["invalid argument!"]
                        write_line = format_30_obj.write_line(write_list_stream)
                        sys.stdout.write(write_line)
    
    

main()
