1KERNEL_BASE {
2	global:
3		*;
4};
5
6KERNEL_1_ALPHA1 {
7} KERNEL_BASE;
8
9KERNEL_1_ALPHA3 {
10} KERNEL_1_ALPHA1;
11
12KERNEL_1_ALPHA4 {
13} KERNEL_1_ALPHA3;
14
15KERNEL_1_ALPHA5 {
16} KERNEL_1_ALPHA4;
17