[gas+assume]