formatVdecl (Array id size _) =
  text "int" <+> formatIdent id <> brackets (formatSize size)
  where formatSize (Just x) = integer x
        formatSize Nothing  = empty
formatVdecl (Array id size _) =
  text "int" <+> formatIdent id <> brackets (formatSize size)
  where formatSize (Just x) = integer x
        formatSize Nothing  = empty
formatVdecl (Array id size _) =
  text "int" <+> formatIdent id <> brackets (formatSize size)
  where formatSize (Just x) = integer x
        formatSize Nothing  = empty