/*
* Code for class HELLOWORLDAPPLICATION
*/

#include "eif_eiffel.h"
#include "../E1/estructure.h"
#include "../E1/eoffsets.h"

#include "he586.h"

#ifdef __cplusplus
extern "C" {
#endif


#ifdef __cplusplus
}
#endif


#ifdef __cplusplus
extern "C" {
#endif

/* {HELLOWORLDAPPLICATION}.sayhello */
void F33_6206 (EIF_REFERENCE Current)
{
GTCX
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
RTLD;

RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);

RTGC;
tr1 = RTOSCF(24,F1_24,(Current));
tr2 = RTMS_EX_H("Hello, World",12,469762404);
F21_273(RTCV(tr1), tr2);
F21_292(RTCV(RTOSCF(24,F1_24,(Current))));
RTLE;
}

/* {HELLOWORLDAPPLICATION}.make */
void F33_6205 (EIF_REFERENCE Current)
{
GTCX
RTLD;

RTLI(1);
RTLR(0,Current);

RTGC;
F33_6206(Current);
F21_315(RTCV(RTOSCF(24,F1_24,(Current))));
RTLE;
}

void EIF_Minit586 (void)
{
GTCX
}


#ifdef __cplusplus
}
#endif