Redistribution and use in source and binary forms, with or without
   11:  *  modification, are permitted provided that the following conditions
   12:  *  are met:
record-replay.h
   14:  *    * Redistributions of source code must retain the above copyright
   15:  *      notice, this list of conditions and the following disclaimer.
   16:  *    * Redistributions in binary form must reproduce the above copyright
   17:  *      notice, this list of conditions and the following disclaimer in
   18:  *      the documentation and/or other materials provided with the
   19:  *      distribution.
   24:  *  @copyright
   25:  *  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
   26:  *  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
   27:  *  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
   28:  *  A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
   29:  *  HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
   30:  *  INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
   31:  *  BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
