package acm_random

file_number 0 "/inputs/subtree/xls/dslx/stdlib/acm_random.x"

top fn __acm_random__rng_deterministic_seed() -> bits[32] {
  ret literal.1: bits[32] = literal(value=301, id=1, pos=[(0,53,41)])
}