#include #include int main(void) { return editor_main(); }