beginnings of the C implementation for SEAL Threads