let name_of_padding_type = reserved_logic_name "padding"