deeper dive

Show arguments and their types.
Use kernel indentation.