static IF1 mapGet_if1(Map map) { ret a -> mapGet(map, a); }