:: for record annotations