This involves defining the API for switches and cleaning up the elaborated form to match the defined ivl_target API. Also add t-dll code to support the ivl_switch_t functions, and add stub code that checks the results.
Stephen Williams