/*******************************************************
 * C file translated from WHIRL Wed Apr 16 19:39:53 2003
 *******************************************************/

/* Include file-level type and variable decls */
#include "bug149.upc.w2c.h"

/* Included code from the initialization script */
typedef upcr_shared_ptr_t _type_arr3[100];
_type_arr3 UPCR_TLD_DEFINE_TENTATIVE(arr3, 800);
typedef upcr_shared_ptr_t _type_arr4[100];
_type_arr4 UPCR_TLD_DEFINE_TENTATIVE(arr4, 800);
typedef upcr_shared_ptr_t _type_arr13[2][3][6];
_type_arr13 UPCR_TLD_DEFINE_TENTATIVE(arr13, 288);
typedef upcr_shared_ptr_t _type_arr14[2][3][6];
_type_arr14 UPCR_TLD_DEFINE_TENTATIVE(arr14, 288);
typedef upcr_pshared_ptr_t _type_arr15[100];
_type_arr15 UPCR_TLD_DEFINE_TENTATIVE(arr15, 800);
typedef upcr_pshared_ptr_t _type_arr16[100];
_type_arr16 UPCR_TLD_DEFINE_TENTATIVE(arr16, 800);
typedef upcr_pshared_ptr_t _type_arr17[100];
_type_arr17 UPCR_TLD_DEFINE_TENTATIVE(arr17, 800);
typedef upcr_pshared_ptr_t _type_arr18[100];
_type_arr18 UPCR_TLD_DEFINE_TENTATIVE(arr18, 800);
typedef upcr_pshared_ptr_t _type_arr19[100];
_type_arr19 UPCR_TLD_DEFINE_TENTATIVE(arr19, 800);
typedef upcr_pshared_ptr_t _type_arr20[100];
_type_arr20 UPCR_TLD_DEFINE_TENTATIVE(arr20, 800);
extern int upcr_forall_control;
#define UPCR_SHARED_SIZE_ 8
#define UPCR_PSHARED_SIZE_ 8
upcr_pshared_ptr_t arr9;
upcr_pshared_ptr_t arr10;
upcr_shared_ptr_t arr21;
upcr_shared_ptr_t arr22;
upcr_shared_ptr_t arr23;

void UPCRI_ALLOC_bug149_upc_3746635703() { 
UPCR_BEGIN_FUNCTION();
upcr_startup_shalloc_t info[] = { 
{&arr21, 16, 25, 1}, 
{&arr22, 16, 25, 1}, 
{&arr23, 16, 25, 1}, 
 };
upcr_startup_pshalloc_t pinfo[] = { 
{&arr9, 800, 1, 0}, 
{&arr10, 800, 1, 0}, 
 };

upcr_startup_shalloc(info, sizeof(info) / sizeof(upcr_startup_shalloc_t));
upcr_startup_pshalloc(pinfo, sizeof(pinfo) / sizeof(upcr_startup_pshalloc_t));
}

void UPCRI_INIT_bug149_upc_3746635703() { 
UPCR_BEGIN_FUNCTION();
}

_INT32 user_main()
{
  UPCR_BEGIN_FUNCTION();
  
  return 0;
} /* user_main */

/**************************************************************************/
/* upcc-generated strings for configuration consistency checks            */

GASNETT_IDENT(UPCRI_IdentString_bug149_upc_1050547193_GASNetConfig_gen, "$GASNetConfig: (bug149.upc.w2c.c) RELEASE=1.0,SPEC=1,CONDUIT=MPI-1.0/REFERENCE-1.0,THREADMODEL=SEQ,SEGMENT=FAST,align,debug,trace,stats $");
GASNETT_IDENT(UPCRI_IdentString_bug149_upc_1050547193_UPCRConfig_gen,   "$UPCRConfig: (bug149.upc.w2c.c) VERSION=1.0.0,PLATFORMENV=distributed,THREADMODEL=none,SHAREDPTRREP=packed,debug,dynamicthreads $");
GASNETT_IDENT(UPCRI_IdentString_bug149_upc_1050547193_GASNetConfig_obj, "$GASNetConfig: (bug149.o) " GASNET_CONFIG_STRING " $");
GASNETT_IDENT(UPCRI_IdentString_bug149_upc_1050547193_UPCRConfig_obj,   "$UPCRConfig: (bug149.o) " UPCR_CONFIG_STRING UPCRI_THREADCONFIG_STR " $");
/**************************************************************************/