var bool: BOOL____00000 :: is_defined_var :: var_is_introduced; var bool: BOOL____00000 :: is_defined_var :: var_is_introduced; var bool: BOOL____00000 :: is_defined_var :: var_is_introduced; var bool: BOOL____00000 :: is_defined_var :: var_is_introduced; var bool: BOOL____00000 :: is_defined_var :: var_is_introduced; var bool: BOOL____00000 :: is_defined_var :: var_is_introduced; var bool: BOOL____00000 :: is_defined_var :: var_is_introduced; var bool: BOOL____00000 :: is_defined_var :: var_is_introduced; var 