if(C_charp(init)) {
     C_char buf[ 4 ];
     n *= C_utf_encode(buf, C_character_code(init)) - buf;
  720f11:	48 8b 45 e8          	mov    -0x18(%rbp),%rax
  720f15:	48 89 45 b0          	mov    %rax,-0x50(%rbp)
  720f19:	48 8b 45 b0          	mov    -0x50(%rbp),%rax
  720f1d:	48 89 45 a8          	mov    %rax,-0x58(%rbp)
  720f21:	48 8b 45 a8          	mov    -0x58(%rbp),%rax
  720f25:	83 e0 0f             	and    $0xf,%eax
  720f28:	48 83 f8 0a          	cmp    $0xa,%rax
  720f2c:	74 13                	je     720f41 <C_allocate_bytevector+0xb4>
  720f2e:	48 8b 05 cb 0d 40 00 	mov    0x400dcb(%rip),%rax        # b21d00 <C_panic_hook@@Base-0x641a0>
  720f35:	48 8b 00             	mov    (%rax),%rax
  720f38:	48 8d 3d d1 32 38 00 	lea    0x3832d1(%rip),%rdi        # aa4210 <__PRETTY_FUNCTION__.9810+0x150a80>
  720f3f:	ff d0                	callq  *%rax
  720f41:	48 8b 45 a8          	mov    -0x58(%rbp),%rax
  720f45:	48 c1 f8 08          	sar    $0x8,%rax
  720f49:	25 ff ff 1f 00       	and    $0x1fffff,%eax
  720f4e:	89 c2                	mov    %eax,%edx
  720f50:	48 8d 45 bc          	lea    -0x44(%rbp),%rax
  720f54:	89 d6                	mov    %edx,%esi
  720f56:	48 89 c7             	mov    %rax,%rdi
  720f59:	e8 a2 0d 95 ff       	callq  71d00 <C_utf_encode@plt>
  720f5e:	48 89 c2             	mov    %rax,%rdx
  720f61:	48 8d 45 bc          	lea    -0x44(%rbp),%rax
  720f65:	48 29 c2             	sub    %rax,%rdx
  720f68:	48 8b 45 e0          	mov    -0x20(%rbp),%rax
  720f6c:	48 0f af c2          	imul   %rdx,%rax
  720f70:	48 89 45 e0          	mov    %rax,-0x20(%rbp)
  }