4.3BSD/usr/contrib/icon/book/f/large.icn

procedure large(s)
   if many('0123456789',s) = *s + 1 then return s
   else fail
end