<?php

undefined();