# @user_files starts at zero, user choice starts at 1
process($user_files[$choice - 1]);