declarer and definer test cases