Symbol: infoframe_read