# This should fail

subtype s is "test"; -- bad type