a rough sketch of macro annotations