void cmd_kill(const std::string &);
void cmd_exit(const std::string &);
void cmd_trace(const std::string &);
+ void cmd_profile(const std::string &);
void cmd_state(const std::string &);
void cmd_texture(const std::string &);
void cmd_buffer(const std::string &);