#ifndef BANK1_HEADER
#define BANK1_HEADER

extern int bank1_fn(int x) __banked;

#endif