Continuing to turn autofam into gr_autofam