int readInput(int a) @ 0x200
{
  // normal function body
}