// ignore-test not a test, auxiliary