<?php /*
{
    bad: bad,
}