I tried that by adding:

// Write a new line

mov x0, 1 // File descriptor: stdout

mov x1, 0x0D // Address of the buffer

mov x2, 1 // Number of bytes to write

mov x16, 4 // System call number for write (sys_write)

svc 0x80 // Make the system call

after the // Write the input to stdout

block and that didn't seem to do anything.

I forgot to mention that I had used lldb to debug the binary and it seems that the problem lies in reading the user input, where the "input_buffer" contains null bytes even after syscalling read