#!/usr/local/bin/sbcl --script
(set `bonus 800000)
(format t (+ bonus 12))