take_boxed


Description:

public void take_boxed (void* v_boxed)