// Copyright (C) 2014 Space Monkey, Inc.

#include "runtime.h"

void ·ThreadId(void *id) {
    id = (void *)m;
    FLUSH(&id);
}