15 /** Instantly finish the currently played level */
16 void finish(bool win);
17 /** spawn tux at specified sector and spawnpoint */
18 void spawn(const std::string& sector, const std::string& spawnpoint);
19 /** Flip level vertically */
20 void flip_vertically();