/* external terminal types */