/*-----------------------------------------------------------------------
  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: labels.c 286 2012-11-02 12:21:03Z hage0101 $ */

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

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

label0:
  return 0;
}

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