I added the int3, which you can see in gdb. I also extended the quoted string definitions, and made the .* non-greedy.