max_ticks, max_depth to stop infinite loops
dont precompile words