[fest-reflect/f17] Initial import (#816927).

[Mario Torre]

Summary of changes:

  0c37e15... Initial import (#816927). (*)

(*) This commit already existed in another branch; no separate mail sent