Require Import mult2.

Definition foobar := if bar then foo else 2.