+This option disables execution. With a verbosity level of 1, builtin
+numbers are printed. With a verbosity of 2, the function's sizes are
+printed as well. This takes a little longer since the size is found by
+searching for a DONE instruction in the code.
+.TP
+.B "-v"
+Increase verbosity level, can be used multiple times.