Primitive utilities for CGI/sh