Sloppy pseudo-code