[wip parsing; IsOpt + asserts