Part of pseudocode