double newline before main-level functions (so here and below)