<?php

  function sary_search( $kkkid, $query ) {
    global $sary_path;
    global $sary_index_directory;
    global $sary_index_filename_prefix;
    global $sary_index_filename_suffix;
    global $sary_index_filename_index_suffix;

    assert( is_int($kkkid) );
    assert( is_string($query) );
    assert( strlen($query) > 0 );
    assert( is_executable($sary_path) );

    $filename       = "$sary_index_directory/$sary_index_filename_prefix$kkkid$sary_index_filename_suffix";
    $filename_index = "$sary_index_directory/$sary_index_filename_prefix$kkkid$sary_index_filename_index_suffix";
    $query = escapeshellarg( $query );

    if( file_exists($filename) && file_exists($filename_index) ) {
      $output = shell_exec( "$sary_path $query $filename" );
      $results = explode( "\n", $output );
      if( strlen($results[count($results)-1]) == 0 ) { array_splice($results,-1,1); }
      return $results;
    }
    else {
      return NULL;
    }
  }

?>