ADD: write runtime function in latex like all other pseudocode