Gravar-mail: A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System