<?php class UnhandledMatchError extends Error { }