let type_of_padding = mktype (JCPTidentifier name_of_padding_type)