Cherrypicked genexample work f81a, 31ed, 3213, c9ef, 0c39, 0dbb, 658e