Riscritta write_with_int