'pseudocode'