/launch_devnull.c/1.7/Sat Aug  6 11:30:17 2005//
/launch_normal.c/1.4/Sat Aug  6 11:30:17 2005//
/launch_proc_stdio.c/1.5/Sat Aug  6 11:30:17 2005//
/launch_proc.c/1.10/Thu Dec 22 11:50:25 2005//
D
