<?php
function double($x) {
echo 2*$x, PHP_EOL;
}
$array = [1, 2, 3, 4];
foreach ($array as $x) {
double($x);
}
PD9waHAKCmZ1bmN0aW9uIGRvdWJsZSgkeCkgewogICAgZWNobyAyKiR4LCBQSFBfRU9MOwp9CgokYXJyYXkgPSBbMSwgMiwgMywgNF07Cgpmb3JlYWNoICgkYXJyYXkgYXMgJHgpIHsKICAgIGRvdWJsZSgkeCk7Cn0=