Checked in the data type for stack mappings