// User script

log_inf("Loading user init script for program ./test");
log_err("Test error message");

var offset = "0x0000000000001145"; // objdump -d ./test

// Testing...
print_file();
print_pid();
print_program_load_offset();
mk_brk_addr(offset);
list_brks();

log_inf("1 --------------------------------------------");
dump_regs();
var r14 = get_reg("r14");
set_reg("r14", "0x0");
log_inf("2 --------------------------------------------");
dump_regs();
set_reg("r14", r14);
log_inf("3 --------------------------------------------");
dump_regs();

var r14_mem = mem_read_reg("r14");
log_inf("Memory at r14 " + r14_mem);
mem_write_reg("r14", "0x696969");
log_inf("Memory at r14 " + mem_read_reg("r14"));
mem_write_reg("r14", r14_mem);
log_inf("Memory at r14 " + mem_read_reg("r14"));

// cont();