public static extern void Mix_ChannelFinished( ChannelFinishedDelegate channel_finished );
public static extern void Mix_ChannelFinished( ChannelFinishedDelegate channel_finished);