In some restaurants, smoking is forbidden.