import * as fun from "./fun";