#; followed by non-datum tokens is an error