タイマー割込みでAnaloginが動作しません

(1)にanalog.read()がある場合、コンパイルはできますが実行時にエラーが出ます。

(2)であれば動作します。割り込み先でanalog.read()を行うにはどのようにすればよいでしょうか。

#include "mbed.h"

AnalogIn ain(A0);
Ticker timer;

int k=0;
float val;
void i_timer(){
    val=ain.read();    //(1)
    k=1;
}

int main() {
    timer.attach(&i_timer,1.0);

    while(1) {
        if(k==1){
//         val=ain.read();    //(2)
            printf("%f\r\n",val);
            k=0;
        }
    }
}