#include <stdio.h>
int main(int argc, char **argv) {
    printf("Hello from an FDS AArch64 software cartridge%s%s\n",
           argc > 1 ? ": " : "", argc > 1 ? argv[1] : "");
    return 0;
}