like this:
var ooo=console.readline()+".elf";
shell gcc 1.c -o $ooo