fail: argument is not of type word fail: argument is more than one expression