sig val name : string val size : int end