Intermediate Representations of Mobile Code. INF 32 (1).