#include <stdio.h>
#include <stdarg.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>
#include <shell-tools.c>

int main(int argc, char **argv) {
    char **args;
    args = malloc(sizeof(char *) * (argc + 4));
    if (args == NULL) {
        fprintf(stderr, "Malloc failed\n");
        exit(1);
    }
    args[0] = "GHC_PATH"; /* Gets replaced by sed */
    args[1] = "-BTOP_ABS"; /* Gets replaced by sed */
    args[2] = "-dynload";
    args[3] = "wrapped";
    if ((argc >= 2) && (strcmp(argv[1], "-v") == 0)) {
        printf("Using %s %s %s %s\n", args[0], args[1], args[2], args[3]);
        fflush(stdout);
    }
    memcpy(args + 4, argv + 1, sizeof(char *) * (argc - 1));
    args[argc+3] = NULL;
    return run(argv[0],
               "GHC_PATH", /* Gets replaced by sed */
               argc + 3,
               args);
}