Starting on #36 with the skeleton of RE_Generic.