michael@0: MODULE Linux x86 B8CFDE93002D54DA1900A40AA1BD67690 linux-gate.so
michael@0: PUBLIC 400 0 __kernel_vsyscall
michael@0: STACK WIN 4 400 100 1 1 0 0 0 0 0 1