function remove_char(string $s): string {
  return substr($s, 1, strlen($s) - 2);
}