Tests: Use semantic read_type instead of read_int in other test files.