pseudocode.js to michael to copy