add -print-type option for debug