memory-faucet

shoul be fixed: no error when ptr2[4] = float(2);