(Recording) Bake in HAVE_RECORD implicitly