uint64 timestamp	# time at which the latest parameter was updated