# The header.
	#
	# Contains the name of all fields in this table.
	var header = new Array[String] is writable, optional