is mario public domain. There are any references about is mario public domain in here. you can look below.