Symbol: process_k5beta_record