It has been years since I shot with film (or with anything for that matter), but what I did back then when I pushed the film was to tell the photo printing shop near my place that I need them to increase the developing time by a certain number of stops coz I underexposed my roll of film. Dunno...