keep a_type as READABLE_STRING_8  and remove this precondition