diff --git a/src/passes/1-parser/cameligo/Tests/pp.mligo b/src/passes/1-parser/cameligo/Tests/pp.mligo
index 1a70c1e6a..e68de8216 100644
--- a/src/passes/1-parser/cameligo/Tests/pp.mligo
+++ b/src/passes/1-parser/cameligo/Tests/pp.mligo
@@ -1,6 +1,5 @@
 let patch_ (m : foobar) : foobar = Map.literal [(0, 5); (1, 6); (2, 7)]
 
-(*
 let (greet_num : int), (greeting : string), one_more_component =
   different_types of_many_things + ffffff 124312
 
@@ -14,7 +13,7 @@ let main (n : int * storage)
   in ([] : operation list), x
 
 let y : t =
-  if true then -30000 * 10000 - 100000 + f x x y y y y - ((x / 4000) * -5) else (10000 + 100000) / 10000000000
+  if true then ffffffffff (-30000 * 10000 - 100000 + f x x y y y y - ((x / 4000) * -5), 103+5) else (10000 + 100000) / 10000000000
 type return = operation list * (storage * fsdgsdgf * sdfsdfsdf * ssdf)
 let xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx =
   ttttttttttttt <= (aaaaaaaaaaaaaaaaaaaaaaaa - bbbbbbbbbbbbbbbbbbbb)
@@ -53,4 +52,3 @@ let w =
   match f 3 with
     None -> []
   | Some (1::[2;3;4;5;6]) -> [4;5]::[]
- *)
diff --git a/src/passes/1-parser/pascaligo/Tests/pp.ligo b/src/passes/1-parser/pascaligo/Tests/pp.ligo
index 2cd411592..da28debcd 100644
--- a/src/passes/1-parser/pascaligo/Tests/pp.ligo
+++ b/src/passes/1-parser/pascaligo/Tests/pp.ligo
@@ -1,7 +1,7 @@
 type t is timestamp * nat -> map (string, address)
 type u is A | B of t * int | C of int -> (string -> int)
-type v is record a : t; b : record c : string end end
-
+type v is record aaaaaa : ttttttt; bbbbbb : record ccccccccc : string end end
+(*
 function back (var store : store) : list (operation) * store is
   begin
     var operations : list (operation) := list [];
@@ -52,11 +52,12 @@ function back (var store : store) : list (operation) * store is
       | B (x, C (y,z)) -> skip
       | False#True#Unit#0xAA#"hi"#4#nil -> skip
       ]
-  end with (operations, store)
-
-function claim (var store : store) : list (operation) * store is
+  end with (operations, store, (more_stuff, and_here_too))
+*)
+  function claim (var store : store; const bar : t; const baz : u; var z : operations * store * (more_stuff * and_here_too)) : list (operation) * store * timestamp * nat -> map (string, address) is
   begin
-    var operations : list (operation) := nil;
+     var operations : list (operation * map (address, map (longname, domain))) := nilllllllllll;
+     attributes ["foo"; "inline"];
     if now <= store.deadline then
       failwith ("Too soon.")
     else
@@ -72,8 +73,11 @@ function claim (var store : store) : list (operation) * store is
               remove sender from map store.backers
             end
       end
-  end with (operations, store)
+  end with long_function_name (operations, store, (more_stuff, (and_here_too, well_in_here_too), hello))
 
+attributes ["inline"; "foo"]
+
+(*
 function withdraw (var store : store) : list (operation) * store is
   begin
     var operations : list (operation) := list end;
@@ -91,3 +95,4 @@ function withdraw (var store : store) : list (operation) * store is
              nil -> (operations, (store : store))
            |   _ -> (operations, store)
            end
+*)