/*
 *
 * Copyright (C) 2026 Kyle Evans <kevans@FreeBSD.org>
 *
 * SPDX-license-Identifier: BSD-2-Clause
 */

int dummy_random(void);

int
dummy_random(void)
{
        return (42);
}