Bug List

Global tw_event_new (tw_lpid dest_gid, tw_stime offset_ts, tw_lp *sender)

There's a bug in this function. We put dest_gid, which is a 64-bit value, into dest_lp which may be a 32-bit pointer.