void jazelle_main(void);

int main() {
	jazelle_main();
	return 0;
}