follow non negative spec for pthread