改正健康増進法では、当然敷地内の喫煙室も禁止なのだが。