x86: testcode: paste a bunch of prototypes