def is_avx512_instruction_form(instruction_form):
    """Indicates whether the instruction form belongs to AVX512 extensions"""
    return instruction_form.isa_extensions and instruction_form.isa_extensions[0].name.startswith("AVX512")