void impl() { abort(); }