#include "share/atspre_staload.hats" staload STDLIB = "libc/SATS/stdlib.sats" staload TIME = "libc/SATS/time.sats" staload UN = "prelude/SATS/unsafe.sats" implement main0 () = () where { val () = $STDLIB.srand48 ($UN.cast {lint} ($TIME.time_get ())) // seeding the RNG using current time val () = println! ($STDLIB.drand48 ()) }