#include "common/cedos.h"
#include "common/stdio.h"

#include <stdint.h>

void main(char *args) {
    printf("%s\n", args);
}