testing: how to use doublequote inside python -c "exec(...)"