Super Mario gets a Portal gun