let rec genBtype (idx: int) (dim: int) (bt: bType) (ic: intermediateCode) (b: bool) = match bt with
        Int     ->  let off = (ic#stack) in (idx, dim, (Off(off, DInt, b)))
      | Float   ->  let off = (ic#stack) in (idx, dim, (Off(off, DFloat, b)))