[johnisgood]

I do not like "@require_results", for example. Ada uses function vs procedure to make the distinction. I would rather have something like that.