compiles, runs, gives wrong likelihood
compiles with asserts on