Comment by m_st

This is not about the arcade title 'Mario Bros.'. 'Super Mario Bros.' was never released to the arcades.

See https://en.wikipedia.org/wiki/Mario_Bros. and https://en.wikipedia.org/wiki/Super_Mario_Bros.

Edit: OK, seems like I was wrong :-)