Add warning annotations for dorun