re14: Revert previous RE14 stubs, backward analysis is future work