Update gc1.pseudocode.js