standard function: div(), exit()