Help the patron find an alternative stapler (there's normally one somewhere at the Service Desk) and then report the broken stapler's location to a supervisor and set out a note marking it as out of service.