See main/ex2.c and src/kernel/xdone.c
