// ignore-test not a test. aux file