Allocate with box instead of ~