/* Record type numbers. */