Module sync 

Structs

SyncPtr

Utility that allows use to send pointers to another thread. This is better than going through usize as MIRI can follow these.