/*-----------------------------------------------------------------------
  The Lazy Virtual Machine.

  Daan Leijen.

  Copyright 2001, Daan Leijen. All rights reserved. This file is
  distributed under the terms of the GNU Library General Public License.
-----------------------------------------------------------------------*/

/* $Id$ */

int foo( void ) {
  void* label[] = { &&label0 };

  goto *(label[0]);
  return 1;

label0:
  return 0;
}

int main(int argc, char **argv)
{
  return foo();
}