(format "Hello, %s!" Ada)
(format "Invoice %04d: %.2f EUR" 7 12.5)
(format "Progress: %d%%" 75)
(format "Result: %v" {count 3})
