rel_timer sudocode