how can, an array have the size specified by the user?