unsigned char __hugeflash pm[33000];
int main( void )
{
  long s;
  
  s = sizeof( pm );
  s--;
  return 0;
}