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