program main
  fn main() -> i32
    call print_bool : unit
      bool true : bool
    call print_bool : unit
      bool false : bool
    call print_bool : unit
      binary = : bool
        string "slovo" : string
        string "slovo" : string
    int 0 : i32