Efficient housekeeping tricks