a toy language~