Global R1K definitions