let
type_of_padding = mktype (
JCPTidentifier
name_of_padding_type)