We should add this to the `Program` API.