Declare havana modules