cat > /tmp/a.c <<'EOF' int main(){int x=1@2