Yeah, this would be public knowledge if there was a Mario proto like that in the wild. Some people (like me) do go through those ROMsets.

Speaking of which, one of these days someone (me?) should go through GoodGen and document some of the protos there. Most of them come from one source IIRC and they're quite interesting.