Update annotated sources of reference impls