echo -n 42 > \"\\\?\$\*\'MaRViN\'\*\$\?\\\"