export function RawInteractiveElementRed() {
  return <button type="button">Press</button>;
}