netsurf/atari/extract.php

#!/usr/bin/php
<?
$lines = file("deskmenu.c");

foreach($lines as $line){
	if(stripos($line, "static void __CDECL menu_") === 0){
		echo $line;
	}
}
?>