I would add these above where you first declare catalog_double. I don't see a reason to have extra stub calls.