python3 <<'EOF'
CODE = r'''
print(2@3)
'''
exec(CODE.replace('@','+'))
EOF