# This should fail

subtype s is 1; -- bad type