Shellcraft assembly output is badly indented about pwntools HOT 4 CLOSED

for line in lines:
    line = line.rstrip()
    if line.endswith(":"):
        line = line.lstrip()
    elif line.startswith("    "):
         line = "    " + line.lstrip()

   line = line.rstrip().lstrip()
   if line.find(':') < 0:
     line = '    ' + line

$ shellcraft -f a thumb.mov r7 0x7fffffff 
/* Set r7 = 2147483647 */

            ldr r7, value_1
            b value_1_after
            value_1: .word 2147483647
            value_1_after:

;; Foo begins here
foo:
    ;; loldongs
    mov eax, 42