Debugged misocp_setup