resynthesized

not defined yet