I used `module.module_state_key.map_into_course(course.id)` for this kind of thing in other places.