refresher stuff for Objective C