example 10-1: two sample record declarations