let empty n = Array.create n None