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