import project1 redef fun foo do 3.output