@callback load_instruction() ::
  :load | :load8_s | :load8_u | :load16_s | :load16_u | :load32_s | :load32_u

@callback type_name() :: atom()

@callback wasm_type() ::
  wasm_primitive()
  | {wasm_primitive(), wasm_primitive()}
  | {wasm_primitive(), wasm_primitive(), wasm_primitive()}
  | {wasm_primitive(), wasm_primitive(), wasm_primitive(), wasm_primitive()}