#include <errno.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>

#include <OS.h>

#include "user_thread.h"

int
main()
{
        pid_t child = fork();
        if (child < 0) {
                fprintf(stderr, "Error: fork() failed: %s\n", strerror(errno));
                exit(1);
        }

        if (child > 0) {
                // the parent process -- wait for the child to finish
                status_t result;
                wait_for_thread(child, &result);
        }

        struct user_thread *t = get_user_thread();
        printf("defer_signals: %" B_PRId32 "\n", t->defer_signals);

        return 0;
}