Returns None if not allocated