Title: Industrial code relating to mines, tunnels, and quarries