Put extra checking in C backend simpleRunRaw... this will fail for now