Using POSIX threads to implement Ada tasking | Synapse