kern_select_50_fini
error = kern_select_50_fini();
kern_select_50_fini();
int kern_select_50_fini(void);