let set_fragsize s = 
        fragsize := s