def/use/redef