void callee() {
  ;
}