#include <stdio.h>
#include <toku_stdint.h>
#include <unistd.h>
#include <assert.h>
#include "toku_os.h"
#include <syscall.h>

static int gettid(void) {
    return syscall(__NR_gettid);
}

int main(void) {
    assert(toku_os_getpid() == getpid());
    assert(toku_os_gettid() == gettid());
    return 0;
}