Exploration C generation