Sebuah perangkat simbolik bahwa program bukan menggunakan perangkat nyata (diidentifikasi dengan nama perangkat). Ketika program menggunakan perangkat program, sistem pengalihan operasi untuk perangkat nyata yang tepat.