(printf "%d\n" (+ 1 2))
(printf "%d\n" (* 3 2))
(printf "%d\n" argc)
(printf "%s\n" (at argv 0))
(printf "%s\n" (at argv 1))
(printf "%d\n" (atoi (at argv 1)))
(printf "%s\n" (if (== (atoi (at argv 1)) 0) "br true" "br false"))