do not create val defs for stuff that is Top = not put in the store. test1c f...ing compiles.