fixed C syntax
customized name of pthread calls per current smack pthreads capabilities
recording results of running this test case