hoas syntax with interpreter