Night cramps in human extremities