Parser for foreign pointer finalizers