Symbol: to_flexgen