Bug: extra tokens after type name

[sdimitro]

sdb> echo 0xffff8e6ab0a40000 | cast "vdev_t *" member vdev_children
sdb encountered an internal error due to a bug. Here's the
information you need to file the bug:
----------------------------------------------------------
Target Info:
	ProgramFlags.IS_LIVE|IS_LINUX_KERNEL
	Platform(<Architecture.X86_64: 1>, <PlatformFlags.IS_LITTLE_ENDIAN|IS_64_BIT: 3>)

Traceback (most recent call last):
  File "/usr/lib/python3/dist-packages/sdb/internal/repl.py", line 107, in eval_cmd
    for obj in invoke([], input_):
  File "/usr/lib/python3/dist-packages/sdb/pipeline.py", line 109, in invoke
    pipeline.append(get_registered_commands()[name](args, name))
  File "/usr/lib/python3/dist-packages/sdb/command.py", line 669, in __init__
    self.type = target.get_type(tname)
  File "/usr/lib/python3/dist-packages/sdb/target.py", line 54, in get_type
    return prog.type(type_name)
SyntaxError: extra tokens after type name
----------------------------------------------------------
Link: https://github.com/delphix/sdb/issues/new