FIX: naive runtime