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