Конвертирование целого в строку с лидирующими нулями при заданной общей длине
(defun ru-conv-int-to-str-with-lead0 (int len)
;;Конвертирование целого в строку с лидирующими нулями при заданной общей длине
;; (ru-conv-int-to-str-with-lead0 128 9) "000000128"
(substr (itoa (+ (expt 10 len) int)) 2)
)