#include "pr25618b.h"
int foo() { return 100; }