BUGS found on the Linux version of PICA:

8/7/2002: An error is returned when trying to unlock a mutex owned by a thread that was killed.