dlman: All the functions typecheck safely now, acquiring a lock avoids exiting the program at an inopportune moment. Launch will eventually need to come up with a real return value.