bsp;&nbsp;&nbsp;&nbsp;ITIMER_REAL
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;ITIMER_VIRTUAL
&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;ITIMER_PROF
&nbsp;&nbsp;type&nbsp;interval_timer_status&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;Unix.interval_timer_status&nbsp;=&nbsp;{
&nbsp;&nbsp;&nbsp;&nbsp;it_interval&nbsp;:&nbsp;float;
&nbsp;&nbsp;&nbsp;&nbsp;it_value&nbsp;:&nbsp;float;
&nbsp;&nbsp;}
&nbsp;&nbsp;val&nbsp;getitimer&nbsp;:
&nbsp;&nbsp;&nbsp;&nbsp;UnixLabels.interval_timer&nbsp;-&gt;&nbsp;UnixLabels.interval_timer_status
&nbsp;&nbsp;val