int down(int *sem);
int try_down(int *sem);
void up(int *sem);