玄武岩步行道，工程量很大。