Neuro-Symbolic Execution of Generic Source Code