Execution stub
States, Storage stub