leave.c revision bdcbfde3
1