//@ ignore-test (auxiliary, used by other tests)

#![cfg_attr(all(), cfg(FALSE))]