I think the best course of action would be to slightly alter PointerMap to extend a Map, and add a non-getter `pointers` function.

In this case, I never write the `size` getter where Map is undefined, and use Map.size where it is.