before implementation
end of this pass