{"ob_id":11528,"names":[{"ob_id":7876,"name":"System messages still encoded as a 48bit unsigned int"}],"terms":[{"ob_id":9411,"label":"var_id","value":"message_bits","vocabulary":""},{"ob_id":11996,"label":"long_name","value":"System messages still encoded as a 48bit unsigned int","vocabulary":""}]}