sig val collapse : bool end