format function definitions