#assert directive syntax

1 # assert predicate ( answer )