Introduce locations (type Loc)