Yes, these are real, official Mario characters. Not OCs. Private Goomp, Sergeant Guy, and Corporal Paraplonk. All original 8-bit designs.
