added toplevel, syntax check ok