(type (integer 0 ,(1- sb!xc:array-dimension-limit)) ,pointer)
(type (simple-array ,element-type (*)) ,string))
(flet ((push-char (char)
(type (integer 0 ,(1- sb!xc:array-dimension-limit)) ,pointer)
(type (simple-array ,element-type (*)) ,string))
(flet ((push-char (char)