Characteristic predicate InvalidStackSize :: InvalidStackSize
InvalidStackSize
(
)