added thread launch/exit syscalls
get the current thread identifier
technically, this should be enough for POSIX