Lose the redundant assertions in bsp.c