static int lf_minus(lua_State* s) {
  int a, b, ergebnis;
  a=lua_tointeger(s, -2);
  b=lua_tointeger(s, -1);
  ergebnis=a-b;
  lua_pushinteger(s, ergebnis);
  return 1;
}