Oh... I really hate KASSERTs