Add WTF annotated versions; same code as originals, with WTF comments added.