Hypothetically, when you enter Cuba your passport is NOT stamped regardless of what nationality you are. You hypothetically receive a "tourist card" on the plane on your way down and this is stamped, and kept in your passport for when you leave the country and hypothetically pay the 20CUC fee...