I don't know if C is the best answer for him. Ada has most of C advantages(unless you are doing "dirty" C tricks), while retaining type safety, exceptions, bound checking... (Haven't used it in years, though).