In the original 1985 'Super Mario Bros.' game for the NES, what is Mario's official profession?