(void()) main() (label) main::@return (const dword) main::dw = (dword)(const to_nomodify byte*) main::msg (const to_nomodify byte*) main::msg[] = (byte*) "camelot" (void()) output((dword) output::dw) (label) output::@return (dword) output::dw (const nomodify dword*) screen = (dword*) 1024