The current, mass-produced Rockwell-Collins GPS receiver
has Ada inside.
-Tuck