function strong($text) { echo _strong($text); }
function format_user($user) { $c = o($user, 'company'); return ($c ? _gray('[' . $c . '] ') : '') . _strong(o($user, 'name')); }