// rec-types/a.h
#include "b.h"