#!/usr/local/bin/sbcl --script


(setq foo 123)
 (format "foo = %d, %05d, %x" foo foo foo)