teacher's code editor
teacher types
rocket.py
rocket.py
save
loading editor…