make all programs, ever, lazily