is_arm_mapping_symbol(const char *str)
static inline int is_arm_mapping_symbol(const char *str)
is_arm_mapping_symbol(const char *str){	return str[0] == '$' && strchr("atd", str[1])	       && (str[2] == '\0' || str[2] == '.');}