a roofed open gallery or portico attached to the outside of a building [Hindi varaṇḍā from Portuguese varanda railing, balustrade]