I followed the convention in the rest of the file: it seems to also import stuff strictly locally.