/^\/\* INTPROTO \*\/$/ {
    getline	# function return
    if (sub("\*$", "*", $0) == 1) {
	printf "%-16s", $0
    } else {
	printf "%-15s ", $0
    }
    getline	# function name and args
    l = index($0, "(")
    outstring = sprintf("%%-23.%ds __PROTO(", l - 1)
    printf outstring, $0
    reststring = substr($0, l)
    printf reststring
    print ");"
}
