added stuff to Mapping, Futex and renamed Simulation to FutexHandler