let x = assert false