If you feel like it: almost every pointer in this file has the old *style