a concurrent proble $($with multiple threads$)$ look like this:

int counter $=1002$;

void $*$worker$($void $*$arg$)$

$\{$counter$--$;

return NULL;$\}$

int main $($int argc, char $*$argv$[]\}$

$\{$pthread$\_$t p$1,$ p$2$;

pthread$\_$create$\{$&p$1,$ NULL, worker, NULL$)$;

pthread$\_$create$\{$&p$2,$ NULL, worker, NULL$)$;

pthread$\_$join$\{$&p$1,$ NULL$)$;

pthread$\_$join$\{$&p$2,$ NULL$)$;

printf$("\%$d

$",$ counter$)$;

return $0$;

$\}$

Assuming pthread create$()$ and pthread join$()$ all work as expected $($i$.$e$.,$ they don't return an error$),$ what are the possible outputs?

Please justify your answers