> signal BUS (invalid address alignment) in _time at 0xffffffff7e5c1944 > 0xffffffff7e5c1944: _time+0x0014: stx %o0, [%i0] > Current function is main (optimized) > 776 time((void *)server_random); We have a fix that will go in shortly.