#source gdb/z.py

import gdb
for i in range(0, 128): # 128 bajtów
    gdb.execute("set *((char*)0x1FF80 + %d) = 0" % i)