Kepler
Cornell Big Red
How can a bill call out a specific company for action and withstand judicial scrutiny? Wouldn't that fail the test for a bill of attainder?
Traditionally, you craft a bill with language which refers to general characteristics, the aggregation of which happens to apply to only one entity.
Famously, the first progressive income tax had a top marginal rate that applied only to John D. Rockefeller.