For the ASTRAL tutorial, please do the following in advance.