#include #include const char* shell_prompt = "rocksh> "; int main(int argc, char *argv[]) { (void)argc; (void)argv; printf(shell_prompt); return 3; }