Moving towards runnable Pinoccio hardcoded example