Abstract error printing.
Enforce consistent program name.
Unnest with statements.