Function anonsocket_write

fn anonsocket_write<'tcx>(
    weak_self_ref: WeakFileDescriptionRef,
    ptr: Pointer,
    len: usize,
    dest: MPlaceTy<'tcx>,
    ecx: &mut MiriInterpCx<'tcx>,
) -> InterpResult<'tcx>

Write to AnonSocket based on the space available and return the written byte size.