Void-safe initialization fully checked