#include "src/lib/string.h"
#include "src/lib/util.h"
#include "src/user/syscall.h"

exit_code_t main(uint64_t argc, const char **argv) {
  for (uint64_t i = 1; i < argc; i++) {
    if (i > 1) {
      write(1, " ", 1);
    }
    write(1, argv[i], string_length(argv[i]));
  }
  write(1, "\n", 1);
  return EXIT_CODE_OK;
}