Visitors for PAO. Only one additional visitor is used by the PAO extension: PAOBoxer, which inserts boxing and unboxing code.