Function sem_create 

fn sem_create<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    sem_ptr: &OpTy<'tcx>,
    value: u32,
) -> InterpResult<'tcx>