<?php
function double($value, $key, $signal) {
echo 2*$signal*$value, PHP_EOL;
}
$array = [1, 2, 3, 4];
PD9waHAKCmZ1bmN0aW9uIGRvdWJsZSgkdmFsdWUsICRrZXksICRzaWduYWwpIHsKICAgIGVjaG8gMiokc2lnbmFsKiR2YWx1ZSwgUEhQX0VPTDsKfQoKJGFycmF5ID0gWzEsIDIsIDMsIDRdOwphcnJheV93YWxrKCRhcnJheSwgImRvdWJsZSIsIC0xKTs=