A rekordot a forrás nyilatkozatok és a fióktelep eredmények, ha egy számítógépes program szimbolikus, nem pedig tényleges értékekkel a bemeneti adatok tekintetében felmerült.