add Array.st and user_input.st