public function stringifyOpts($opts)
	{
		$pairs = array();
		foreach ($opts as $k => $v) {
			if (is_null($v)) {
				continue;
			}
			if ($v === true) {
				$pairs[] = $k;
			} elseif ($v === false) {
				$pairs[] = $k.'=false';
			} else {
				$pairs[] = $k.'='.$v;
			}
		}
		return implode(' ', $pairs);
	}