Symbol: process_k5beta6_record