var button=B5;
pinMode(button, 'input_pulldown');
function buttonPressed(info) {
        console.log(info);  // [ undefined ]
        info.time;   // Uncaught Error: Field or method "time" does not already exist, and can't create it on undefined
}
setWatch(buttonPressed,button,
         {repeat:true,debounce:200});