Cleanup.
Move conversion of sym to int32.
Attempt to solve two systems.

This currently results in a segmentation fault.