On the extreme power of nonstandard programming languages. - Takuma Imamura (CoRR, 2018)