1#include "a1.h"
2inline void e1() { assert(true); }
3