housekeeping
fixes for a working intptr