destruct: backport to 401