effects: main work complete (except compilation)