# Rest of the options after `parse` is called
	var rest = new Array[String]