fn variables_title( total_variables: usize, known_variables: usize, has_storage_access: bool, has_step_notice: bool, ) -> String