'#pike 7.2' does something bad in Pike v7.6.6. This programs dumps
core:
#!/usr/local/bin/pike
#pike 7.2
mixed noise1, noise2;
import Image; //Needed for crash, I think
int main(int argc, array(string) argv)
{
write("Hello!\n");
noise1=Image(147,140)->copy(0,0,60, 68);
write("Hello 1!\n");
noise2=noise1->scale(2.0); //->scale 2.1 works!
write("Hello 1b!\n");
noise2=noise2->copy(0,0,60, 68); //This always crash
write("Bye!\n");
}