StephanWolfram › WinningEleven › AllenIverson › NaganoMamoru › StructuredText › SmartChoices
".$options[timer]->Write()."