Chaitin's_constant loading ...