Created as one wrapper for SwitchStack.c to add assert()