sig val length : int end