specify undefined behaviour