// User script

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

var main_offset = "0x0000000000001135"; // objdump -d ./test

// Testing...
print_file();
print_pid();
print_program_load_offset();
mk_brk_addr(main_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();
cont();