But macro def depends on macro impl, right?