shell: refine main argument prototype