effect annotations added to shallow generated code