Snippet for python gdb pause statement.