test5-js ok
test6-layered ok, provided virtualized infix_+