// SPDX-License-Identifier: GPL-2.0-only

#include <stdio.h>

#include "rdvl.h"

int main(void)
{
	int vl = rdvl_sme();

	printf("%d\n", vl);

	return 0;
}