What do you think 'jmp int_bottom' does?