Fixes to shell; vararg outputs now allowed.