integerp.lsp 800 Bytes