// preamble-with-implicit-import-A