postmodern-c (case, cast, coalesce, constraints, count, create-index)