void mysymbol (void) {
	return;
}