#ifndef BANK0_HEADER
#define BANK0_HEADER

extern int bank0_fn(int x) __banked;

#endif