So would something like miri have caught this if it was in their CI?