Turing-completeness loading ...