Practical Symbolic Emulator