/* -----------------------------------------------------------------------------
 *
 * (c) The GHC Team 1999
 *
 * Header for Ticky.c
 *
 * ---------------------------------------------------------------------------*/

#pragma once

RTS_PRIVATE void PrintTickyInfo(void);