#include "stdio.h"

namespace std {
  // Makes sure we get a support file for this header.
  struct vector { int i; };

  __attribute__((__nodebug__))
  inline int myabs(int i = -123) {
    double nil;
    return i < 0 ? -i : i;
  }
}
