"Metacomputation and its Applications" implemented for SLL