prog.s: Assembler messages:
prog.s:9: Error: bad register name `%rbp'
prog.s:12: Error: bad register name `%rsp'
prog.s:14: Error: bad register name `%rbp)'
prog.s:15: Error: bad register name `%rip)'
prog.s:16: Error: bad register name `%rax'
prog.s:18: Error: bad register name `%rip)'
prog.s:19: Error: bad register name `%rax)'
prog.s:21: Error: bad register name `%rbp'
prog.s:39: Error: bad register name `%rbp'
prog.s:42: Error: bad register name `%rsp'
prog.s:44: Error: bad register name `%rsp'
prog.s:45: Error: bad register name `%rbp)'
prog.s:46: Error: bad register name `%rbp)'
prog.s:47: Error: bad register name `%rax'
prog.s:48: Error: bad register name `%rbp)'
prog.s:53: Error: bad register name `%rbp)'
prog.s:55: Error: bad register name `%rbp)'
prog.s:59: Error: bad register name `%rbp)'
prog.s:60: Error: bad register name `%rax'
prog.s:75: Error: bad register name `%rbp'
prog.s:78: Error: bad register name `%rsp'
prog.s:85: Error: bad register name `%rbp'