import module1 redef fun foo do 2.output