Require Import A.
Fail Require Import B.