algorithmic for all pseudocode