michael@0: MODULE Linux x86 4FBDA58B5A1DF5A379E3CF19A235EA090 linux-gate.so
michael@0: PUBLIC 400 0 __kernel_vsyscall
michael@0: STACK WIN 4 400 200 3 3 0 0 0 0 0 1