Boilerplate from the ZJU script.