Move to (hacky) static lookup table for DIOS module symbols.
Change run() API to take list of input names as system call argument.