<machine name="k053251" sourcefile="konami/k053251.cpp" isdevice="yes" runnable="no" isbios="no" ismechanical="no">
  <description>Konami 053251 Priority Encoder</description>
</machine>