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