@jackdaniel at the risk of stretching the point too much, mechanical translation by an existing parser wouldn't have trouble, but manual translation might qualify to need to be tested whereas any unit tests that exist might be in a language-specific framework, and definitely not runnable on pseudo-code.