Annotate several top-level functions