Un fichero de código máquina también es llamado fichero objeto, y su extensión típica es codice_2.