added assert false