perl -we "printf 'addr:0x%x,', 0x50000000 + $_ * 4 for 0 .. 255;"