void mysymbol (void);