{
   "fun_prefix":"__",
   "options":["enableStrictnessPropagation"],
   "bifs":[
      {
         "sapl_fun":"add",
         "arity":2,
         "ext_fun":"_add",
         "inline_exp":":!1: + :!2:"
      },
      {
         "sapl_fun":"sub",
         "arity":2,
         "ext_fun":"_sub",
         "inline_exp":":!1: - :!2:"
      },
      {
         "sapl_fun":"mult",
         "arity":2,
         "ext_fun":"_mult",
         "inline_exp":":!1: * :!2:"
      },
      {
         "sapl_fun":"div",
         "arity":2,
         "ext_fun":"_div",
         "inline_exp":"Math.floor(:!1: / :!2:)"
      },
      {
         "sapl_fun":"divreal",
         "arity":2,
         "ext_fun":"_divreal",
         "inline_exp":":!1: / :!2:"
      },
      {
         "sapl_fun":"mod",
         "arity":2,
         "ext_fun":"_mod",
         "inline_exp":":!1: % :!2:"
      },
      {
         "sapl_fun":"pow",
         "arity":2,
         "ext_fun":"_pow",
         "inline_exp":"Math.pow(:!1:,:!2:)"
      },
      {
         "sapl_fun":"sqrt",
         "arity":1,
         "ext_fun":"_sqrt",
         "inline_exp":"Math.sqrt(:!1:)"
      },
      {
         "sapl_fun":"atan",
         "arity":1,
         "ext_fun":"_atan",
         "inline_exp":"Math.atan(:!1:)"
      },
      {
         "sapl_fun":"sin",
         "arity":1,
         "ext_fun":"_sin",
         "inline_exp":"Math.sin(:!1:)"
      },
      {
         "sapl_fun":"cos",
         "arity":1,
         "ext_fun":"_cos",
         "inline_exp":"Math.cos(:!1:)"
      },
	  {
         "sapl_fun":"neg",
         "arity":1,
         "ext_fun":"_neg",
         "inline_exp":":!1: * -1"
      },
	  {
         "sapl_fun":"abs",
         "arity":1,
         "ext_fun":"_abs",
         "inline_exp":"Math.abs(:!1:)"
      },
	  {
         "sapl_fun":"eq",
         "arity":2,
         "ext_fun":"_eq",
         "inline_exp":":!1: == :!2:"
      },
	  {
         "sapl_fun":"neq",
         "arity":2,
         "ext_fun":"_neq",
         "inline_exp":":!1: != :!2:"
      },
	  {
         "sapl_fun":"gt",
         "arity":2,
         "ext_fun":"_gt",
         "inline_exp":":!1: > :!2:"
      },
	  {
         "sapl_fun":"ge",
         "arity":2,
         "ext_fun":"_ge",
         "inline_exp":":!1: >= :!2:"
      },
	  {
         "sapl_fun":"lt",
         "arity":2,
         "ext_fun":"_lt",
         "inline_exp":":!1: < :!2:"
      },
	  {
         "sapl_fun":"not",
         "arity":1,
         "ext_fun":"_not",
         "inline_exp":"!:!1:"
      },
	  {
         "sapl_fun":"and",
         "arity":2,
         "ext_fun":"_and",
         "inline_exp":":!1: && :!2:"
      },
	  {
         "sapl_fun":"or",
         "arity":2,
         "ext_fun":"_or",
         "inline_exp":":!1: || :!2:"
      },
	  {
         "sapl_fun":"toString",
         "arity":1,
         "ext_fun":"_toString",
         "inline_exp":":!1: + \"\""
      },
	  {
         "sapl_fun":"string_size",
         "arity":1,
         "ext_fun":"_string_size",
         "inline_exp":":!1:.length"
      },
	  {
         "sapl_fun":"string_usize",
         "arity":1,
         "ext_fun":"_string_usize",
         "inline_exp":"[0, '_Tuple2',:!1:.length,:1:]"
      },	  
	  {
         "sapl_fun":"string_select",
         "arity":2,
         "ext_fun":"_string_select",
         "inline_exp":":!1:.charAt(:!2:)"
      },
	  {
         "sapl_fun":"string_uselect",
         "arity":2,
         "ext_fun":"_string_uselect",
         "inline_exp":"[0, '_Tuple2',:!1:.charAt(:!2:),:1:]"
      },	  
	  {
         "sapl_fun":"string_create1",
         "arity":1,
         "ext_fun":"_string_create1$eval",
		 "inline_exp":"_string_create1(:!1:)"
      },
	  {
         "sapl_fun":"string_create2",
         "arity":2,
         "strict":false,
         "ext_fun":"_string_create2$eval",
		 "inline_exp":"_string_create2(:!1:,:!2:)"		 
      },
	  {
         "sapl_fun":"string_update",
         "arity":3,
         "ext_fun":"_string_update",
         "inline_exp":":!1:.replaceAt(:!2:,:!3:)"
      },
	  {
         "sapl_fun":"string_slice",
         "arity":3,
         "ext_fun":"_string_slice",
         "inline_exp":":!1:.substr(:!2:,(:!3: - :!2: + 1))"
      },
	  {
         "sapl_fun":"string_append",
         "arity":2,
         "ext_fun":"_string_append",
         "inline_exp":":!1: + :!2:"
      },
	  {
         "sapl_fun":"string_replace",
         "arity":3,
         "ext_fun":"_string_replace$eval",
         "inline_exp":"_string_replace(:!1:,:!2:,:!3:)"
      },
	  {
         "sapl_fun":"toInt_char",
         "arity":1,
         "ext_fun":"_toInt_char",
         "inline_exp":":!1:.charCodeAt(0)"
      },
	  {
         "sapl_fun":"toInt_str",
         "arity":1,
         "ext_fun":"_toInt_str",
         "inline_exp":"parseInt(:!1:)"
      },
	  {
         "sapl_fun":"toInt_real",
         "arity":1,
         "ext_fun":"_toInt_real",
         "inline_exp":"Math.floor(:!1:)"
      },
	  {
         "sapl_fun":"toReal",
         "arity":1,
         "ext_fun":"_toReal",
         "inline_exp":"parseFloat(:!1:)"
      },
	  {
         "sapl_fun":"toChar",
         "arity":1,
         "ext_fun":"_toChar",
         "inline_exp":"String.fromCharCode(:!1:)"
      },
	  {
         "sapl_fun":"bitand",
         "arity":2,
         "ext_fun":"_bitand",
         "inline_exp":":!1: & :!2:"
      },
	  {
         "sapl_fun":"bitor",
         "arity":2,
         "ext_fun":"_bitor",
         "inline_exp":":!1: | :!2:"
      },
	  {
         "sapl_fun":"bitxor",
         "arity":2,
         "ext_fun":"_bitor",
         "inline_exp":":!1: ^ :!2:"
      },
	  {
         "sapl_fun":"bitnot",
         "arity":1,
         "ext_fun":"_bitnot",
         "inline_exp":"~ :!1:"
      },	  	  	  
	  {
         "sapl_fun":"shiftleft",
         "arity":2,
         "ext_fun":"_shiftleft",
         "inline_exp":":!1: << :!2:"
      },
	  {
         "sapl_fun":"shiftright",
         "arity":2,
         "ext_fun":"_shiftright",
         "inline_exp":":!1: >>> :!2:"
      },
	  {
         "sapl_fun":"array_create1",
         "arity":1,
         "ext_fun":"_array_create1$eval",
		 "inline_exp":"_array_create1(:!1:)"
      },
	  {
         "sapl_fun":"array_create2_lazy",
         "arity":2,
         "ext_fun":"_array_create2_lazy$eval",
		 "inline_exp":"_array_create2(:!1:,:2:)"		 
      },	  
	  {
         "sapl_fun":"array_create2",
         "arity":2,
         "ext_fun":"_array_create2$eval",
		 "inline_exp":"_array_create2(:!1:,:!2:)"
      },
	  {
         "sapl_fun":"array_update_lazy",
         "arity":3,
         "ext_fun":"_array_update_lazy$eval",
		 "inline_exp":"_array_update(:!1:,:!2:,:3:)"
      },		  
	  {
         "sapl_fun":"array_update",
         "arity":3,
         "ext_fun":"_array_update$eval",
		 "inline_exp":"_array_update(:!1:,:!2:,:!3:)"
      },		  	  
	  {
         "sapl_fun":"array_replace_lazy",
         "arity":3,
         "ext_fun":"_array_replace_lazy$eval",
		 "inline_exp":"_array_replace(:!1:,:!2:,:3:)"
      },	  
	  {
         "sapl_fun":"array_replace",
         "arity":3,
         "ext_fun":"_array_replace$eval",
		 "inline_exp":"_array_replace(:!1:,:!2:,:!3:)"
      },
	  {
         "sapl_fun":"array_select_lazy",
         "arity":2,
         "ext_fun":"_array_select_lazy",
		 "inline_exp":"Sapl.feval(:!1:[:!2:+2])"
      },	  
	  {
         "sapl_fun":"array_select",
         "arity":2,
         "ext_fun":"_array_select",
		 "inline_exp":":!1:[:!2:+2]"
      },
	  {
         "sapl_fun":"array_uselect",
         "arity":2,
         "ext_fun":"_array_uselect",
		 "inline_exp":"[0, '_Tuple2',:!1:[:!2:+2],:1:]"
      },	  
	  {
         "sapl_fun":"array_size",
         "arity":1,
         "ext_fun":"_array_size",
		 "inline_exp":":!1:.length-2"
      },	  
	  {
         "sapl_fun":"array_usize",
         "arity":1,
         "ext_fun":"_array_usize",
		 "inline_exp":"[0, '_Tuple2',:!1:.length-2,:1:]"
      },	  	  
	  {
         "sapl_fun":"abort",
         "arity":1,
         "strict":false,
         "ext_fun":"_abort"
      },
	  {
         "sapl_fun":"error",
         "arity":1,
         "strict":false,
         "ext_fun":"_error"
      },
	  {
         "sapl_fun":"tupsels1v0",
         "arity":1,
         "ext_fun":"_tupsels1v0",
		 "inline_exp":"Sapl.feval(:!1:[2])"
      },
	  {
         "sapl_fun":"tupsels2v0",
         "arity":1,
         "ext_fun":"_tupsels2v0",
		 "inline_exp":"Sapl.feval(:!1:[2])"
      },
	  {
         "sapl_fun":"tupsels2v1",
         "arity":1,
         "ext_fun":"_tupsels2v1",
		 "inline_exp":"Sapl.feval(:!1:[3])"
      },
	  {
         "sapl_fun":"tupsels3v0",
         "arity":1,
         "ext_fun":"_tupsels3v0",
		 "inline_exp":"Sapl.feval(:!1:[2])"
      },
	  {
         "sapl_fun":"tupsels3v1",
         "arity":1,
         "ext_fun":"_tupsels3v1",
		 "inline_exp":"Sapl.feval(:!1:[3])"
      },
	  {
         "sapl_fun":"tupsels3v2",
         "arity":1,
         "ext_fun":"_tupsels3v2",
		 "inline_exp":"Sapl.feval(:!1:[4])"
      },
	  {
         "sapl_fun":"tupsels4v0",
         "arity":1,
         "ext_fun":"_tupsels4v0",
		 "inline_exp":"Sapl.feval(:!1:[2])"
      },
	  {
         "sapl_fun":"tupsels4v1",
         "arity":1,
         "ext_fun":"_tupsels4v1",
		 "inline_exp":"Sapl.feval(:!1:[3])"
      },
	  {
         "sapl_fun":"tupsels4v2",
         "arity":1,
         "ext_fun":"_tupsels4v2",
		 "inline_exp":"Sapl.feval(:!1:[4])"
      },	  
	  {
         "sapl_fun":"tupsels4v3",
         "arity":1,
         "ext_fun":"_tupsels4v3",
		 "inline_exp":"Sapl.feval(:!1:[5])"
      }
   ]
}