Corrected high level programming