pull in Mike's map verifier and complete test cases member.cc