1 package glibc_random_helpers is
2 procedure srand (v : integer);
3 attribute foreign of srand : procedure is "VHPIDIRECT srand";
5 function random return integer;
6 attribute foreign of random : function is "VHPIDIRECT random";
7 end glibc_random_helpers;
9 package body glibc_random_helpers is
10 procedure srand (v : integer) is
12 assert false severity failure;
15 function random return integer is
17 assert false severity failure;
19 end glibc_random_helpers;