'#' handling is either intrinsic to shell, or C. argc does reflect proper number of args, though, and we should check.