cat > /tmp/t.c <<'EOF'
#include <stdio.h>
int main(){int a=1@2