let expr_cast _ty _e = 
    (* TODO : we can process cast as long as they are not involved in address
     * computation. *)

    abort "cast"