1// SPDX-License-Identifier: GPL-2.0-only
2
3#include <stdio.h>
4
5#include "rdvl.h"
6
7int main(void)
8{
9	int vl = rdvl_sme();
10
11	printf("%d\n", vl);
12
13	return 0;
14}
15