Может ли язык Си работать на условной stack-based машине?

Может ли язык Си работать на условной стековой машине? Есть какие-то преграды для этого в дизайне языка(я их не вижу). В виде стековой машины я имею в виду условную машину Тьюринга, использующую стек и имеющую пару служебных регистров и некоторых регистров для указателей. Будут ли какие-то проблемы для генерации кода из Си в ассемблер для подобной машины?