/* DO NOT EDIT THIS FILE - it is machine generated */
#include <StubPreamble.h>

/* Stubs for class HolaMundo */
/* SYMBOL: "HolaMundo/presentaSaludo()V", Java_HolaMundo_presentaSaludo_stub */
__declspec(dllexport) stack_item *Java_HolaMundo_presentaSaludo_stub(stack_item *_P_,struct execenv *_EE_) {
	extern void HolaMundo_presentaSaludo(void *);
	(void) HolaMundo_presentaSaludo(_P_[0].p);
	return _P_;
}