public RichHeaderRecord[] getRecords() {
		return table == null ? new RichHeaderRecord[0] : table.getRecords();
	}
Gets the Rich header records.

@return the Rich header records.  Could be empty if a Rich header was not found.
Ghidra/Features/Base/src/main/java/ghidra/app/util/bin/format/pe/RichHeader.java