/*
  Copyright 2025 Sebastian Peters
*/

const char *php_opcode_global(int code);