Someplace on earth, human being cannot fap to porn w/o some degree of proper tech knowledge exists.
op ::= | reading | writing; lr ::= lock read_count , read_count | += 1 | -= 1 , unlock read_count; lf ::= lock file; uf ::= unlock file; lo ::= lf, op; ou ::= uf, op;